Dilation of states and processes in operational-probabilistic theories
نویسندگان
چکیده
منابع مشابه
Dilation of states and processes in operational-probabilistic theories
This paper provides a concise summary of the framework of operational-probabilistic theories, aimed at emphasizing the interaction between category-theoretic and probabilistic structures. Within this framework, we review an operational version of the GNS construction, expressed by the so-called purification principle [12], which under mild hypotheses leads to an operational version of Stinespri...
متن کاملSemantics of Probabilistic Processes An Operational Approach
Subject matter With the rapid development of computer network and communication technology, the study of concurrent and distributed systems has become increasingly important. Among various models of concurrent computation, process calculi have been widely investigated and successfully used in the specification, design, analysis and verification of practical concurrent systems. In recent years, ...
متن کاملStructural Operational Semantics for Continuous State Probabilistic Processes
We consider the problem of modeling syntax and semantics of probabilistic processes with continuous states (e.g. with continuous data). Syntax and semantics of these systems can be defined as algebras and coalgebras of suitable endofunctors over Meas, the category of measurable spaces. In order to give a more concrete representation for these coalgebras, we present an SOS-like rule format which...
متن کاملsynthesis of sulfides from alcohols and thiols in solvent-freeconditions and deoxygenation of sulfoxides
کاتالیست یک سنتز جدید برای تیواترها توصیف شده است. واکنش الکل ها با آریل، هتروآریل و آلکیل تیو ل ها درحضور 1،3،5- تری آزو- 2،4،6- تری فسفرین-2،2،4،4،6،6 هگزاکلراید ((tapc به عنوان یک کاتالیست موُثر، بازده های خوب تا عالی از تیواترها را حاصل می کند. علاوه براین، واکنش تحت شرایط بدون فلز و بدون حلال پیش می رود، بنابراین یک مکمل جالب برای روش های شناخته شده سنتز تیواترها ارائه می دهد. یک مکانیسم ا...
15 صفحه اولProbabilistic Theories of Causality
This chapter provides an overview of a range of probabilistic theories of causality, including those of Reichenbach, Good and Suppes, and the contemporary causal net approach. It discusses two key problems for probabilistic accounts: counterexamples to these theories and their failure to account for the relationship between causality and mechanisms. It is argued that to overcome the problems, a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.172.1